for : A Change for the Better ? Assessing the Computational Cost of Re - representation
نویسندگان
چکیده
In this supplementary material, we provide proofs of the complexity-theoretic statements appearing in our paper. In order to prove intractability results for the input-output mappings associated with the computational-level models of re-representation formulated in our paper, we must formalize the various entities mentioned in these input-output mappings. We first review the graph-based formalization of analogy derivation given in [6] (Section 1). This is followed by a brief summary of techniques for establishing polynomial-time and fixed-parameter intractability (Section 2) and the proofs of the various intractability and tractability results presented in our paper (Section 3).
منابع مشابه
A Change for the Better? Assessing the Computational Cost of Re-representation
The ability to re-represent information—i.e., to see things in new ways—is essential for human reasoning, creativity, and learning. It forms the foundation of insight problem solving and scientific explanation, and is hypothesized to play a pivotal role in concept development in children. Re-representation is useful because it allows a cognizer to make sense of things in ways that were previous...
متن کاملA New Method for Improving Computational Cost of Open Information Extraction Systems Using Log-Linear Model
Information extraction (IE) is a process of automatically providing a structured representation from an unstructured or semi-structured text. It is a long-standing challenge in natural language processing (NLP) which has been intensified by the increased volume of information and heterogeneity, and non-structured form of it. One of the core information extraction tasks is relation extraction wh...
متن کاملFast Reconstruction of SAR Images with Phase Error Using Sparse Representation
In the past years, a number of algorithms have been introduced for synthesis aperture radar (SAR) imaging. However, they all suffer from the same problem: The data size to process is considerably large. In recent years, compressive sensing and sparse representation of the signal in SAR has gained a significant research interest. This method offers the advantage of reducing the sampling rate, bu...
متن کاملComputational fluid dynamics study and GA modeling approach of the bend angle effect on thermal-hydraulic characteristics in zigzag channels
In the study, the thermal-hydraulic performance of the zigzag channels with circular cross-section was analyzed by Computational Fluid Dynamics (CFD). The standard K-Ꜫ turbulent scalable wall functions were used for modeling. The wall temperature was assumed constant 353 K and water was used as the working fluid. The zigzag serpentine channels with bend angles of 5 - 45° were studied for turbul...
متن کاملRobustness-based portfolio optimization under epistemic uncertainty
In this paper, we propose formulations and algorithms for robust portfolio optimization under both aleatory uncertainty (i.e., natural variability) and epistemic uncertainty (i.e., imprecise probabilistic information) arising from interval data. Epistemic uncertainty is represented using two approaches: (1) moment bounding approach and (2) likelihood-based approach. This paper first proposes a ...
متن کامل